Centralized and Decentralized Supervisory Control of Nondeterministic Systems under Partial Observation 1 2
نویسندگان
چکیده
In this paper we extend our earlier work on supervisory control of nondeterministic systems using prioritized synchronization as the mechanism of control and trajectory model as the modeling formalism by considering design of supervisors under partial observation. We introduce the notion of observation-compatible systems and show that prioritized synchronous composition of observation-compatible systems can be used as a mechanism of control of nondeterministic systems under partial observation in presence of driven events. Necessary and su cient conditions, that depend on the trajectory model as opposed to the language model of the plant, are obtained for the existence of centralized as well as decentralized supervision. Our work on centralized control shows that the results of the traditional supervisory control can be \extended" to the above setting provided the supervisor is deterministic and the observation mask is projection type. On the other hand, our work on decentralized control is based on a new relation between controllability, observability, coobservability, and PSC that we derive in this paper.
منابع مشابه
Relative Coobservability in Decentralized Supervisory Control of Discrete-Event Systems
We study the new concept of relative coobservability in decentralized supervisory control of discrete-event systems under partial observation. This extends our previous work on relative observability from a centralized setup to a decentralized one. A fundamental concept in decentralized supervisory control is coobservability (and its several variations); this property is not, however, closed un...
متن کاملPartial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کامل[19] F. Lin and W. M. Wonham, 1990. Decentralized control and coordination of discrete event systems with partial observation.
Nondeterminism in discrete-event systems occurs in many practical situations andoften as a result of partial observability of events. For the adequate description ofnondeterministic systems and nondeterministic phenomena, the trajectory-model for-malism was introduced in [6] [7]. This formalism has been used in [26] (also [14][15]) for obtaining various results on supervisor...
متن کاملDiscrete-Event Control of Nondeterministic Systems
Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced in [6] and [7]. This formalism has been used in [26] (also [14] and [15]) for obtaining various results on supervisory control ...
متن کاملThe Computational Complexity of Decentralized Discrete-Event Control Problems
Computational complexity results are obtained for decentralized discrete-event system problems. These results generalize the earlier work of Tsitsiklis, who showed that for centralized supervisory control problems (under partial observation), solution existence is decidable in polynomial time for a special type of problem but becomes computationally intractable for the general class. As in the ...
متن کامل